" Lenore Zuck" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Tools and Algorithms for the Construction and Analysis of Systems, 11 conf., TACAS 2005

Nicolas Halbwachs, Lenore Zuck

Категория: Cs_Computer science, CsLn_Lecture notes

5.69 Mb

#2

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay

Категория: Cs_Computer science, CsLn_Lecture notes

2.51 Mb